($\forall$$x$$\geq$$a$$\in$$L$.$P$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$P$($a$) \& ($\forall$$b$:$T$. $a$ before $b$ $\in$ $L$ $\Rightarrow$ $P$($b$))